strictly finer topology

[数] 严格较细拓扑